function rt(a){document.write(a)}
function m(a){rt('<'+a+'>')}
function n(a){rt('</'+a+'>')}
function mk(a,b){m(a);rt(b);n(a)}
function el(a){return document.getElementById(a)}
function ih(a){return el(a).value}
function eq(a,b){var mi=a-b;if(mi==0){rt(1)}}